Name | Format | # Pages | Size | Date |
---|---|---|---|---|
play.tex | Texinfo Document | 2.4 KB | 1994-03-18 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
00_index.txt | File List | 6 | 45 b | 1995-04-19 |
00_TRANS.TBL | Text File | 7 | 280 b | 1995-05-02 |
bid.tex | Text File | 59 | 1.4 KB | 1994-03-18 |
dec.tex | Text File | 70 | 1.6 KB | 1994-03-18 |
examples.tex | Text File | 82 | 1.9 KB | 1994-03-18 |
readme | Text File | 13 | 701 b | 1994-03-18 |